#pragma once

#include <linux/thread_info.h>

extern void sched_init(void);
extern void sched_init_smp(void);

extern unsigned long init_stack[THREAD_SIZE / sizeof(unsigned long)];
